// Copyright 2021 the V8 project authors.  All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.

/*---
description: Algorithm interrupted by non-object right-hand side
info: |
  Syntax
    RelationalExpression[In, Yield, Await]:
    [...]
    [+In]PrivateIdentifier in ShiftExpression[?Yield, ?Await]

  [...]

  1. Let privateIdentifier be the StringValue of PrivateIdentifier.
  2. Let rref be the result of evaluating ShiftExpression.
  3. Let rval be ? GetValue(rref).
  4. If Type(rval) is not Object, throw a TypeError exception.
esid: sec-relational-operators-runtime-semantics-evaluation
features: [class-fields-private, class-fields-private-in]
---*/

function Test() {
    let caught = null;

    class C {
      #field;

      constructor() {
        try {
          /**
           * Using a ShiftExpression to produce the non-object value verifies that
           * the implementation uses the operator precedence implied by the
           * syntactic grammar. In other words, the following statement should be
           * interpreted as:
           *
           *     #field in ({} << 0);
           *
           * ...rather than:
           *
           *     (#field in {}) << 0;
           */
          #field in {} << 0;
        } catch (error) {
          caught = error;
        }
      }
    }

    new C();

    assert.notSameValue(caught, null);
    assert.sameValue(caught.constructor, TypeError);
}

// preheat
const NUMBER_OF_PREHEAT = 1;
for (let i = 0; i < NUMBER_OF_PREHEAT; i++) {
    Test();
}

ArkTools.jitCompileAsync(Test);
assert.sameValue(ArkTools.waitJitCompileFinish(Test), true, '[JIT] JIT disabled.');

// test
const NUMBER_OF_TEST = 1; // or 2
for (let i = 0; i < NUMBER_OF_TEST; i++) {
    Test();
}
